一种基于程序域边界分析的测试方法

边界附近的点对程序故障更加敏感.针对这一特征,提出了一种基于程序域边界分析的测试方法.从被测程序本身出发,进行定义域确定及子域划分,分析定义域边界和子域边界,并跟据其边界测试点产生测试用例,以检测域边界附近的处理.实验表明对定义域边界及其子域边界进行测试,可有效地提高故障覆盖率.     

The “signature” of a coherent system and its application to comparisons among systems

Various methods and criteria for comparing coherent systems are discussed. Theoretical results are derived for comparing systems of a given order when components are assumed to have independent and identically distributed lifetimes. All comparisons rely on the representation of a system's lifetime distribution as a function of the system's “signature,” that is, as a function of the vector p= (p₁, … , p_n), where p_i is the probability that the system fails upon the occurrence of the ith component failure. Sufficient conditions are provided for the lifetime of one system to be larger than that of another system in three different senses: stochastic ordering, hazard rate ordering, and likelihood ratio ordering. Further, a new preservation theorem for hazard rate ordering is established. In the final section, the notion of system signature is used to examine a recently published conjecture regarding componentwise and systemwise redundancy. © 1999 John Wiley & Sons, Inc. Naval Research Logistics 46: 507–523, 1999     

A new importance sampling Monte Carlo method for a flow network reliability problem

The exact evaluation of the probability that the maximum st‐flow is greater than or equal to a fixed demand in a stochastic flow network is an NP‐hard problem. This limitation leads one to consider Monte Carlo alternatives. In this paper, we propose a new importance sampling Monte Carlo method. It is based on a recursive use of the state space decomposition methodology of Doulliez and Jamoulle during the simulation process. We show theoretically that the resulting estimator belongs to the variance‐reduction family and we give an upper bound on its variance. As shown by experimental tests, the new sampling principle offers, in many cases, substantial speedups with respect to a previous importance sampling based on the same decomposition procedure and its best performances are obtained when highly reliable networks are analyzed. © 2002 Wiley Periodicals, Inc. Naval Research Logistics 49: 204–228, 2002; DOI 10.1002/nav.10004     

зрлaнгa分布及其在保障性数据分析中的应用

首先对（?）分布的特点进行了分析,其次运用极大似然法对其分布参数t_0进行了估计,然后通过2个实例验证了这种分布的可行性和实用性,最后得出几点结论。SS     

电驱动车辆反馈线性化自适应滑模滑移率控制

针对驱动和制动工况下电驱动汽车的滑移率控制这一强非线性和不确定性控制问题,提出了一种基于反馈线性化的自适应滑模控制(ASMC)方法。针对车辆驱动、制动工况下的车轮滑移率进行了动力学分析,建立了统一的状态方程。充分利用系统已知模型和参数,采用线性化反馈消除非线性变化的控制量增益系数的影响,通过对反馈项增益参数的自适应调整,适应附着路面不确定参数变化的控制要求,克服系统控制中存在的主要非线性和不确定性部分,对于系统难以建模描述部分,视为扰动,利用滑模控制抑制系统该部分的不确定性因素,同时保证系统响应的快速性,并对算法进行了Lyapunov稳定性分析。最后,以某型电动汽车为对象进行了仿真分析,结果表明采用ASMC控制系统动态响应快、精度高、抗扰能力强,对路面参数变化具有较强的鲁棒性,同时输出控制量抖振小。     

浮式振荡立轴叶轮的三维效应影响

为研究振荡运动下立轴水轮机的三维效应影响，采用ANSYS CFX软件三维模拟立轴水轮机在不同展弦下的振荡运动（横荡、纵荡），并与二维模拟的立轴水轮机作对比，通过最小二乘法拟合计算得到水轮机推力和侧向力系数时域结果，分析得到不同展弦比下水轮机阻尼系数和附加质量系数。结果表明：随着展弦比增大，叶轮潮流能的转换效率逐渐增大；三维振荡叶轮的水动力载荷与叶轮展长呈正相关，当展弦比达到10时其水动力载荷及能量转换效率和二维的计算结果相当；三维水轮机水动力系数常数项和阻尼项随展弦比增大而增大。     

Estimating component characteristics from system failure‐time data

Suppose that failure times are available from a random sample of N systems of a given, fixed design with components which have i.i.d. lifetimes distributed according to a common distribution F. The inverse problem of estimating F from data on observed system lifetimes is considered. Using the known relationship between the system and component lifetime distributions via signature and domination theory, the nonparametric maximum likelihood estimator _N(t) of the component survival function (t) is identified and shown to be accessible numerically in any application of interest. The asymptotic distribution of _N(t) is also identified, facilitating the construction of approximate confidence intervals for (t) for N sufficiently large. Simulation results for samples of size N = 50 and N = 100 for a collection of five parametric lifetime models demonstrate the utility of the recommended estimator. Possible extensions beyond the i.i.d. framework are discussed in the concluding section. © 2010 Wiley Periodicals, Inc. Naval Research Logistics, 2010     

大动态范围星载导航接收机AGC电路性能分析与优化设计

"导航战"条件下要求接收机具有较强的抗干扰性能,射频电路是制约接收机抗干扰性能的瓶颈之一。针对星载导航接收机的特点,同时兼顾弱信号接收与强信号接收的情况,以接收机在整个信号范围内工作时能够抑制的干信比J最大为优化目标,分析了电路允许实现的最大干信比Jmax及射频电路各级增益的求解方法;进而针对纯电阻网络组成的特殊AGC电路,简化了求解方法;给出了该类AGC电路的设计实例,测试结果满足35dB的干信比指标要求。分析方法不仅适用于导航接收机设计,还可推广应用于指导各类接收机的设计。     

均匀分布法对集群目标射击效率计算积分表达式

为简化炸点均匀分布条件下对集群目标射击效率计算的表达式,采用"化四个象限积分为一个象限积分"的方法,导出射击幅员在正面和纵深上覆盖集群目标比值数学期望的积分表达式,在此基础上讨论对单个目标毁伤概率计算公式和对集群目标毁伤百分比计算的近似公式,导出射击幅员在正面和纵深上覆盖集群目标比值二阶矩的积分表达式,给出了对集群目标射击效率的算例。结论改进了对集群目标射击效率计算的方法。     

一种差分空时分组码及其性能分析

文中介绍了一种差分空时分组码的编译方法及其性能分析,与之对比,先导入单天线时差分调制的概念及其方法,理论分析表明,采用无需信道估值的差分空时分组码与相干检测空时分组码相比其性能差3 dB,但与单天线相比仍有接近于10 dB的分集增益。